universal closure मीनिंग इन हिंदी

The two formal universally quantified; hence all axioms should be taken as universal closures.
where \ left [ X \ right ] denotes the universal closure of all variables in the alphabet.
The axioms should be read as universal closures; hence any free variables should be taken as tacitly universally quantified.
This has the same effect as saying that a formula is satisfied if and only if its universal closure is satisfied.